Tô pô phần bù hữu hạn là tô pô có thể định nghĩa trên mỗi tập X {\displaystyle X} . Nó bao gồm tập rỗng và các tập mở là các tập con của X {\displaystyle X} có phần bù là hữu hạn. Do đó, trong tô pô phần bù hữu hạn, chỉ những tập đóng hoặc X {\displaystyle X} là hữu hạn. Rõ ràng hơn, ta có thể viết tô pô phần bù hữu hạn như sau: